Dima, Catalin: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

1

Spatial assessment of flashâflood vulnerability in the Moldova river catchment (N Romania) using the FFPI

Popa, Mihnea Cristian, Simion, Adrian Gabriel, Peptenatu, Daniel, Dima, Cristina, Draghici, Cristian Constantin, Florescu, MargaretaâStela, Dobrea, Catalin Razvan, Diaconu, Daniel Constantin

Journal:

Journal of Flood Risk Management

Year:

2020

File:

PDF, 2.65 MB

2020

2

A study on shuffle, stopwatches and independently evolving clocks

Cătălin Dima, Ruggero Lanotte

Journal:

Distributed Computing

Year:

2012

Language:

english

File:

PDF, 671 KB

english, 2012

3

Molecularly imprinted poly(acrylonitrile- co -acrylic acid) matrix with sclareol

Dima, Stefan-Ovidiu, Dobre, Tanase, Chetraru, Olga, Nicolae, Cristian-Andi, Spataru, Catalin-Ilie, Sarbu, Andrei

Journal:

Polymer Engineering & Science

Year:

2014

Language:

english

File:

PDF, 484 KB

english, 2014

4

The Use of Sholl and Kolmogorov Complexity Analysis in Researching on the Sustainable Development of Creative Economies in the Development Region of Bucharest‒Ilfov, Romania

Gruia, Karina Andreea, Dobrea, Razvan-Cătălin, Simion, Cezar-Petre, Dima, Cristina, Grecu, Alexandra, Hudea, Oana Simona, Marin, Marian, Andronache, Ion, Peptenatu, Daniel

Journal:

Year:

2019

File:

PDF, 5.48 MB

2019

5

Specific Mechanisms for Construction Mobile Robots

Bruja, Adrian, Dima, Marian, Frăncu, Cătălin

Journal:

Solid State Phenomena

Year:

2010

Language:

english

File:

PDF, 408 KB

english, 2010

6

An alternating-time temporal logic with knowledge, perfect recall and past: axiomatisation and model-checking

Guelev, Dimitar P., Dima, Catalin, Enea, Constantin

Journal:

Journal of Applied Non-Classical Logics

Year:

2011

Language:

english

File:

PDF, 382 KB

english, 2011

7

Inverse Kinematics Model of a Bucket Excavator’s Digging Equipment

Dima, Marian, Frâncu, Cătălin

Journal:

Applied Mechanics and Materials

Year:

2015

Language:

english

File:

PDF, 432 KB

english, 2015

8

MODEL-CHECKING ALTERNATING-TIME TEMPORAL LOGIC WITH STRATEGIES BASED ON COMMON KNOWLEDGE IS UNDECIDABLE

Diaconu, Raluca, Dima, Cătălin

Journal:

Applied Artificial Intelligence

Year:

2012

Language:

english

File:

PDF, 346 KB

english, 2012

9

Estimating the 3D Printing Defects by Micro-Computed Tomography

Dimonie, Doina, Radu, Ionut-Cristian, Vlasceanu, George, Zaharia, Catalin, Dragomir, Nicoleta, Dima, Ovidiu, Iftimie, Sorina

Journal:

Proceedings (American Bar Association. Section of International and Comparative Law)

Year:

2020

File:

PDF, 379 KB

2020

10

Verification of\({{EB}^3}\)specifications using CADP

Vekris, Dimitris, Lang, Frédéric, Dima, Catalin, Mateescu, Radu

Journal:

Formal Aspects of Computing

Year:

2016

Language:

english

File:

PDF, 1.55 MB

english, 2016

11

[IEEE 2009 16th International Symposium on Temporal Representation and Reasoning (TIME) - Bressanone-Brixen, Italy (2009.07.23-2009.07.25)] 2009 16th International Symposium on Temporal Representation and Reasoning - Positive and Negative Results on the Decidability of the Model-Checking Problem for an Epistemic Extension of Timed CTL

Year:

2009

Language:

english

File:

PDF, 250 KB

english, 2009

12

Continuous renal replacement therapy in cytokine release syndrome following immunotherapy or cellular therapies?

Constantinescu, Catalin, Pasca, Sergiu, Tat, Tiberiu, Teodorescu, Patric, Vlad, Catalin, Iluta, Sabina, Dima, Delia, Tomescu, Dana, Scarlatescu, Ecaterina, Tanase, Alina, Sigurjonsson, Olafur Eysteinn

Journal:

Journal for ImmunoTherapy of Cancer

Year:

2020

File:

PDF, 1.08 MB

2020

13

[IEEE 2007 Ninth International Symposium on Symbolic and Numeric Algorithms for Scientific Computing - Timisoara, Romania (2007.9.26-2007.9.29)] Ninth International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2007) - Strategy-Based and Knowledge-Based Models of Information Flow: Equivalence and Decidability

Dima, Catalin, Enea, Constantin, Gramatovici, Radu, Sofronia, Alexandru

Year:

2007

Language:

english

File:

PDF, 211 KB

english, 2007

14

A Morphological and Immunohistochemical Study of the Tumoral and Inflammatory Cells in Pancreatic Ductal Adenocarcinoma

Herlea, Vlad, Mustafa, Elena Stoica, Iorgescu, Andreea Cristina, Pechianu, Nicolae Catalin, Cretoiu, Dragos, Sajin, Maria, Dima, Simona Olimpia, Vasilescu, Catalin, Stroescu, Cezar, Ungureanu, Constan

Journal:

Journal of Immunology Research

Year:

2020

File:

PDF, 2.00 MB

2020

15

Preface

Cătălin Dima, Marius Minea, Ferucio Laurenţiu Ţiplea

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2007

Language:

english

File:

PDF, 99 KB

english, 2007

16

Nano graphite as additive in soybean oil

Cristea, George Catalin, Dima, Cosmin, Dima, Dumitru, Georgescu, Constantin, Deleanu, Lorena, Slătineanu, L., Nagit, G., Dodun, O., Merticaru, V., Coteata, M., Ripanu, M.I., Mihalache, A.M., Boca, M.,

Journal:

MATEC Web of Conferences

Year:

2017

Language:

english

File:

PDF, 3.12 MB

english, 2017

17

Forward Kinematics Model of a Bucket Excavator’s Digging Equipment

Dima, Marian, Frâncu, Cătălin

Journal:

Applied Mechanics and Materials

Year:

2015

Language:

english

File:

PDF, 393 KB

english, 2015

18

On the computation of covert channel capacity

Asarin, Eugene, Dima, Cătălin

Journal:

RAIRO - Theoretical Informatics and Applications

Year:

2010

Language:

english

File:

PDF, 274 KB

english, 2010

19

Remote Controlled Video Inspection Manipulator of Sewage Networks Pipes

Bruja, Adrian, Dima, Marian, Frăncu, Cătălin

Journal:

Solid State Phenomena

Year:

2010

Language:

english

File:

PDF, 888 KB

english, 2010

20

Balanced timed regular expressions

Eugene Asarin, Cătălin Dima

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2003

Language:

english

File:

PDF, 220 KB

english, 2003

21

[ACM Press the Joint Meeting of the Twenty-Third EACSL Annual Conference - Vienna, Austria (2014.07.14-2014.07.18)] Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) - CSL-LICS '14 - Asymptotic behaviour in temporal logic

Asarin, Eugene, Blockelet, Michel, Degorre, Aldric, Dima, Cătălin, Mu, Chunyan

Year:

2014

Language:

english

File:

PDF, 369 KB

english, 2014

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@1delivery.pm

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски